Zur Prüfung von Pix liquida Ph. Germ. II

Ein Laufzeitmodel-basierter Ansatz zur Datenschutz-Prüfung von Cloud-Systemen

Personenbezogene Daten werden durch Datenschutzrichtlinien geschützt. Allerdings können Cloud-Systeme Komponenten zur Laufzeit migrieren und replizieren. Das kann die geographische Lage der Daten beeinflussen und damit zu einer Verletzung der Richtlinien führen. In unserer Forschung untersuchen wir den Einsatz von Laufzeitmodellen. Die vorgeschlagenen Laufzeitmodelle bilden die Architektur und ...

Erzeugung von Modelldaten zur Prüfung von Bildregistrierungstechniken angewandt auf Daten aus der PET und MRT

Compilezeit-Prüfung von Spring-Konfigurationen

Dependency Injection Frameworks wie das Spring Framework verlassen sich auf dynamische Sprachfähigkeiten von Java. Sofern diese Fähigkeiten auf unvorhergesehene Art und Weise eingesetzt werden, können Fehler auftreten, die zur Übersetzungszeit nicht vom Java-Compiler erkannt werden. Diese Arbeit diskutiert die Anwendung von statischer Programmcode-Analyse als Mittel, besagte ÜbersetzungszeitPrü...

Temporale Prüfung von Software-Funktionen

Untersuchungen zur rechnergestützten Erfassung, Verwaltung und Prüfung von Anforderungsspezifikationen und Einsatzbedingungen elektronischer Steuerungs- und Regelungssysteme